AND-OR networks